🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔗 Concatenative Programming
Factor, Joy, Stack-based Languages, Point-free Style
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Slip – A Lisp System in JavaScript
lisperator.net
·
5h
·
Discuss:
Hacker News
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
·
1d
·
Discuss:
Hacker News
λ
Lambda Formalization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lobsters Interview with Zdsmith
lobste.rs
·
13h
·
Discuss:
Lobsters
🔗
Concatenative Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
·
15h
⛪
Church Encoding
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
·
1h
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
·
23h
·
Discuss:
blog.mitrichev.ch
📈
Linear programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Modern C and initializing an array
subethasoftware.com
·
1d
🗂
Data structures
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Realization Jsmn on a Pure Zig
github.com
·
9h
·
Discuss:
Hacker News
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
·
1h
·
Discuss:
DEV
🔄
Language Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
·
17h
·
Discuss:
Hacker News
,
r/programming
✅
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 3
inquiryintoinquiry.com
·
3h
🔢
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
·
1d
·
Discuss:
Hacker News
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
·
1d
·
Discuss:
Hacker News
📐
E-graphs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org
·
1d
·
Discuss:
Hacker News
🔗
Constraint Handling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org
·
1d
·
Discuss:
Hacker News
,
r/programming
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at
·
23h
·
Discuss:
Hacker News
🔗
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GaloisInc/parameterized-utils
github.com
·
2d
🧮
Algebraic Datatypes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
·
6h
·
Discuss:
Hacker News
👑
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »